@book{hatcher:1982,
  title={The logical foundations of mathematics},
  author={Hatcher, William S},
  volume={10},
  year={1982},
  publisher={Pergamon Press Oxford}
}